翻訳と辞書 Words near each other ・ Larceny (film) ・ Larceny (Scheme implementation) ・ Larceny Act ・ Larceny Act 1861 ・ Larceny Act 1901 ・ Larceny Act 1916 ・ Larceny on the Air ・ Larceny with Music ・ Larceny, Inc. ・ Larceveau-Arros-Cibits ・ Larch ・ Larch (disambiguation) ・ Larch (rocket engine) ・ Larch ball ・ Larch bolete ・ Larch family ・ Larch Farm ・ Larch Hill ・ Larch Mountain ・ Larch Mountain (Clark County, Washington) ・ Larch Mountain (Multnomah County, Oregon) ・ Larch Mountain (Thurston County, Washington) ・ Larch Mountain (Washington County, Oregon) ・ Larch Mountain salamander ・ Larch Networks ・ Larch Prover ・ Larch pug ・ Larch sawfly ・ Larch Way, Washington ・ Larch Wood (Railway Cutting) Commonwealth War Graves Commission Cemetery Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Larch family ： ウィキペディア英語版 Larch family The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the formulation of proofs about program behavior. The Larch family was developed primarily in the United States in the 1980s and 1990s, involving researchers at Xerox PARC, DEC/SRC, MIT, and other places. Unlike the Z notation, the Larch family has one language for algebraic specification of abstract data types (LSL, the Larch Shared Language), and a separate ''interface language'' tailored to each language in which programs are to be written (Modula-3, C, Smalltalk, etc.). The Larch project also developed tools to support the use of formal specifications, including LP, the Larch Prover. ==See also== * Formal methods 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Larch family」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.